ue
Let q = 11/23 + -123/161. Let i = -0.025 + -25.975. Let p = i - -25. Which is greater: q or p?
q
Let m = 240 + -251. Let f = -435 + 433.5. Which is smaller: m or f?
m
Let h(m) = m - 4 + 1 - 1 + 1. Let r be h(7). Suppose -2*d - 16 = -r. Are d and 2 nonequal?
True
Suppose 25*s = 9844 + 16731. Does 1063 = s?
True
Let g be 8/14 - 3/(630/(-1455)). Which is smaller: 8 or g?
g
Let q = -29980/19 + 336135741/213028. Is q <= 0?
True
Let f(h) = 162*h - 1. Let y be f(-1). Suppose 12115*v = -12103*v + 24232*v + 2282. Is v < y?
False
Let p = 762 - 432. Let v = p - 330.1. Which is bigger: 3/31 or v?
3/31
Let x = -641 - -1924/3. Which is greater: -161 or x?
x
Suppose 2*m - 3*w = 263, 4*m + 14*w - 475 = 191. Is m not equal to 92?
True
Let y be (-2 + (-12)/(-5))*(19 - 9). Suppose -3*b = -y*x - 0*x, -5*x - 5 = -5*b. Which is smaller: x or -0.073?
-0.073
Suppose 3*m - 3 = -12. Suppose 0 = -42*g + 37*g - 150. Let i be ((-6)/g)/1 + 44/(-10). Which is bigger: i or m?
m
Suppose -3924 + 336 = -299*f. Which is smaller: 437 or f?
f
Let h(n) = -5*n**2 - 148*n + 798. Let t be h(37). Is t less than -11523?
False
Let m = -108 + 106. Let c(h) = -41*h + 2. Let k be c(m). Suppose -90*v - 18 = -k*v. Which is smaller: v or -0.11?
v
Let i(q) = -2*q**2 + 8*q + 8. Let l be i(-6). Let a be 113 - (280/(-45) - -6)*3. Let b = a + l. Is b != 3?
True
Let h(u) = u**3 - 8*u**2 - 11*u + 13. Let y be h(10). Let l = -95 + y. Suppose 11*w = l*w. Which is greater: 4/33 or w?
4/33
Suppose -5*y + 2*i = 2505, 0 = -5*i + 2*i - 15. Let a = y - -506. Which is smaller: a or 11/6?
11/6
Suppose 15*a - 18*a - 177 = 5*q, -2*q - 67 = 5*a. Let o = -82 - q. Which is greater: -50 or o?
o
Let u be (-1)/((-18)/1420) + 2. Suppose 33*i = 31*i - 18, 5*i + 1072 = 13*y - 39. Are y and u unequal?
True
Let q be 16/144*591*((-53)/22 + 2). Is -28 less than or equal to q?
True
Let r = 4.31 - -277.59. Let b = r - 281. Is b at most as big as 2/33?
False
Let s = 26/55 - -4/5. Let n(w) = -w**2 + 4. Let t be n(-3). Let m be t*(4 + -3)/(-5). Is m > s?
False
Let z = -1656 + 1659.23. Which is smaller: z or 0.5?
0.5
Let d be (-6)/(-14) - (-78)/14. Suppose 112*k - 62*k = 82 + 268. Does d = k?
False
Suppose -j - 22 = -g + 3*j, 5*j = -25. Suppose 3 = g*u - 5*u. Let c = -161 - -14975/93. Is c at least u?
True
Let d = 5727/11 - 520. Suppose -76 - 113 = -7*y. Let p = y + -27. Which is greater: d or p?
d
Let m = -11363 - -11359. Is -0.041 at most m?
False
Suppose 9*u - 17 = -17. Suppose -21*k + 17*k - 4 = u. Which is smaller: 2/99 or k?
k
Let f be 632/88 + -3 - 4/22. Suppose 3*j - 19 = -4*t - f, -9 = -2*j - 3*t. Are j and 35/4 nonequal?
True
Let h be 672/(-22) + 7/((-91)/78). Which is smaller: -36 or h?
h
Suppose -16 = -217*q + 215*q, 2*z = -q + 22. Which is smaller: 165/26 or z?
165/26
Suppose 3*m + 1583 = -4*w, m - 3*m - 4*w - 1066 = 0. Which is bigger: m or -499?
-499
Let f be 146/(-6) - (-4)/(-6). Let n be (-12 + -48)/(-2*(-3)/(-4)). Let u = 16 - n. Is f greater than or equal to u?
False
Let h = 29/31 - 2521/2728. Let n(r) = -20*r**2 - 1. Let y be n(-1). Let j = y - -21. Which is bigger: h or j?
h
Let u be (40/50 - (-50442)/(-63090))*3. Which is smaller: u or 1?
u
Let n = 666 + -1123. Which is bigger: -1 or n?
-1
Suppose -3*p + 4*z = 39, -4 = -3*p - 4*z - 19. Let o be (-11 - p)/(8/20). Let t = -0.2 - -2.2. Which is greater: o or t?
t
Let i(x) = -12*x - 267. Let a be i(-7). Let c = a - -916/5. Is c not equal to 44?
True
Suppose 329*s - 326*s + 109 = -2*z, 4*z - 2*s + 194 = 0. Does z = -1/35?
False
Suppose 103*m = -9142 - 4351. Which is smaller: m or -121?
m
Let b = -3.79 - -242.79. Let g = b - 239.01. Which is greater: g or 2/25?
2/25
Let t be 2*((-3)/(-1) + 7/(-2)). Let p = -2/2203 - -17658/37451. Which is greater: t or p?
p
Let x be (0 - (-1052)/(-12))/((-1)/3). Let u = -395 + x. Are -132 and u non-equal?
False
Let k be 43/6 - (-4)/(-24). Suppose v = k*v - 366. Let u = -807 + 869. Which is smaller: v or u?
v
Suppose -t = 10*o - 40, 0 = -29*o + 27*o - 5*t + 56. Suppose 0 = -5*n - 2*q + 19, -5*n + 4 = -3*q - 5. Is n at most as big as o?
True
Let l(b) = 82*b + 87. Let o(r) = -28*r - 29. Let u(v) = -3*l(v) - 8*o(v). Let z be u(-1). Which is smaller: -13 or z?
-13
Let f(o) = -o**2 - 5. Let t be f(0). Let m be (44/(-8))/11 + t/(-6). Let c be -9 + 7 + 1 + -1 + 1. Is m != c?
True
Let b = 346 - 377. Let w(n) = -n**2 - 11*n + 26. Let l be w(-15). Which is greater: b or l?
b
Let c be (-4)/2 + 9 + 1146/(-165). Is -8/13 <= c?
True
Suppose -86 + 76 = -5*b. Suppose 2*g + 28 = b*j - 7*j, 4*j + 5*g = -36. Let c be 0 - j - 3/1. Is -2/9 smaller than c?
True
Suppose 2*r - 3*s - 12 = 0, -48*r + 47*r - 3*s = 12. Are 32/333 and r equal?
False
Let a be -15*(-250)/(-15) + 11. Is -234 <= a?
False
Let y = -323.26 - 3.74. Let x = y - -260. Is 0 bigger than x?
True
Let g(o) = -9*o**2 - o**3 + 21*o**2 - 1403 + 36*o + 1387. Let j be g(14). Which is smaller: 94 or j?
94
Let a = 250 - 25. Let o be ((-15)/a)/((-2)/12). Is -1 greater than o?
False
Let p = 295 - 296. Let s be (-8)/(-12) + p/73*49. Which is greater: s or 1?
1
Let a = 616 + -613. Let m be a/9*-2*(-3)/(-18). Which is bigger: -2/119 or m?
-2/119
Let p be (-1 + 1 + 20454/28)*308/(-66). Is p greater than -3409?
False
Let s be (-10)/8 - (-3)/12. Let b(x) = -41*x + 240. Let o be b(6). Let m be 1 - ((-3 - o) + 129/(-66)). Which is smaller: m or s?
s
Let h be (-1)/((-1)/(6 - 1)). Let x be 5*(2 - 8/h) - 0. Suppose -3*t = x*t - 10. Which is smaller: 15/7 or t?
t
Let b = 458 + -452. Suppose 2*u = c + 4*u - 12, -2*c + 2*u - b = 0. Do c and -129 have the same value?
False
Suppose 119*d - 105 = 134*d. Let a be -1 + 385/98 - (-2 - d). Is a != -1?
True
Let c be (-9)/2 + 3 - 1/2. Let y be 5*(1216/20)/8. Which is smaller: y or c?
c
Let k = -3855 - -4186. Does 0.4 = k?
False
Let p be 2/(-1 + 381/387). Let k(n) = n**3 + 17*n**2 - 524*n - 1. Let l be k(-33). Which is smaller: l or p?
l
Let g = 30.721 + -31.1. Let o = g - -0.379. Which is smaller: 51 or o?
o
Suppose -4*c = -8, 0 = -17*i + 22*i + c - 7. Which is greater: i or -1/3824?
i
Let v be ((-46)/(-12))/((-1)/(-2)). Let d = 262.98 - -5.82. Let m = d + -269. Is v < m?
False
Let v = -81/38 + 50/19. Is -0.118 smaller than v?
True
Let j be (1344/(-128))/(6/5836). Which is greater: -10214 or j?
j
Let t = -3435 + 4479. Is 1045 at most as big as t?
False
Let h = 3344141/3 - 50146717/45. Let v = h + -3118/9. Is -3 less than or equal to v?
False
Let a = 1.18 - -5.62. Let m = -0.15 - -0.05. Which is greater: m or a?
a
Let i = 556 - 556.703. Let m = -0.688 - i. Which is smaller: m or 2/3?
m
Let g = 71.4 - 93. Let z = g + 25. Let f = z + -3.4. Are -1 and f non-equal?
True
Suppose -4*f - 75 = -3*j - 225, 5*j - 3*f = -250. Let b = -287 + 234. Is b less than or equal to j?
True
Suppose 123032 + 77238 = -14*h. Which is greater: h or -14303?
-14303
Let j(g) = 17*g + 33. Let o be j(-2). Suppose 0 = l - 1, -3*i - l = -2*i - 5. Let k be o/(i/(-16) - 0). Is 4 greater than k?
False
Let u = 6991 - 7051. Which is bigger: u or -908/15?
u
Let a = 0.224 - 0.204. Which is greater: a or -856?
a
Suppose 60*t - 263 = -263. Is 11/12 < t?
False
Let q = -98 + 108. Let l be -5*-4*34/q. Let i = l + -46. Is 0 at most i?
True
Let w = 0.6 - 39.6. Let l = 39.42 + w. Let o be (-1)/2*-15*72/2700. Which is greater: l or o?
l
Suppose -3*a - 4*f - 72 = -5*a, -3*a - 2*f + 92 = 0. Suppose -9 = 3*i - 6*i. Let u = a - i. Which is smaller: 30 or u?
u
Suppose -3*i = -147*b + 145*b - 3974, -2*b - 2*i - 3944 = 0. Which is greater: b or -1977?
-1977
Suppose -2*v - 26*c + 22*c - 208 = 0, -3*c = -2*v - 257. Is -120 less than or equal to v?
True
Let a = 1702.1 + -1702. Which is smaller: 5928 or a?
a
Let l = 4519.1 + -4498.1. Let a be 1*-1*(-2)/16. Which is smaller: l or a?
a
Let f be (-21)/(-45) + 4/(-5). Suppose 0 = 2*l - 2, l + 2 = m. Suppose 0 = -k - 3*i - 7, k - 4*i - 10 = m*k. Which is smaller: f or k?
k
Let n = 773.7 - 373.7. Which is greater: 0.03 or n?
n
Suppose -2*a - 44 = -42. Let b be (14/49)/(8/(-68)). Which is greater: a or b?
a
Suppose 12*s + 162716 = -7*s. Let c = 42961/5 + s. Which is smaller: 29 or c?
c
Let h = -1.14 - 6.5. Let d = h - -8.04. Is d equal to -112?
False
Let s be (1/3)/(6/90). Suppose 0*j + 45 = s*j. Suppose 36 = 4*v - 4*b, 4*v - 11*b + 10*b = 36. Is v bigger than j?
False
Let d be 2/3 