 + -13902. Let y = 10.3 + 0.7. Which is smaller: x or y?
x
Let v = 6 - -7. Let j = -9 + 12. Suppose i + j*b - v = 2, 0 = 3*b - 6. Are i and 0.3 non-equal?
True
Suppose r + 3*r - 10 = -3*i, 4*i = -4*r + 8. Suppose r*l - a - a = 344, 4*a = 8. Let g = l + -129. Are g and -41 nonequal?
True
Let o = 1669/4777 + 1/281. Let d be 0/(2 + -3 - -2). Let i be (-1)/(1 - d/(-2)). Which is smaller: i or o?
i
Let f = 56 + -208. Let x = f + 153. Is 10/3 bigger than x?
True
Let a(h) = 3*h**3 + 157*h**2 - 38*h - 205. Let v be a(-53). Is -3809 < v?
False
Let j = -18 - -20. Suppose -33 = 5*h - 48. Let d be (2*j/(-88))/(h/(-24)). Are 0 and d equal?
False
Let j = -8346.925 + 15.925. Which is smaller: -1 or j?
j
Suppose 0 = 5*a - 3*r + 6, -26*r + 12 = -2*a - 20*r. Let h = 2/3641 + 3017/1135992. Which is bigger: h or a?
h
Let u be (-9936)/(-1620) - 3/10. Let a = 13 + -18. Let x = 12 + a. Which is bigger: u or x?
x
Let l(z) = 3*z - 16. Let f be l(6). Suppose 5*m - 3*x + 8*x + 360 = 0, f*m - x + 153 = 0. Let c = m + 88. Are -0.2 and c non-equal?
True
Let o = 0 + 61. Let b = o + -66.8. Let q = 328 + -329. Is b <= q?
True
Let z = 86855093/421693 + -6385/31. Which is smaller: z or 0?
z
Let r = -72.4 + 8.4. Let g = -66.8 - r. Let o = 0.99 - -0.01. Are g and o equal?
False
Let l(t) = 11*t**2 - 32*t - 305. Let p(w) = 5*w**2 - 15*w - 154. Let m(x) = 3*l(x) - 7*p(x). Let s be m(0). Are s and 162 equal?
False
Suppose 3*l + 142 = -4*t + 6*l, -3*t = 2*l + 115. Let x = t - -37. Let c = 503 - 4522/9. Is c at least as big as x?
True
Let p be 0 + (-889)/12 - 1/4. Let z = p + 75. Are -0.048 and z equal?
False
Let g = -16542 - -16267. Which is greater: -242 or g?
-242
Let i = 3474.56 - 3596. Let u = i + 121. Let m = u - -0.12. Which is bigger: m or -1?
m
Let y = 414.9414 + -415. Which is bigger: 8 or y?
8
Let b = -159/515 + 640228/3605. Let h = b - 177. Let p(w) = 2*w**2 + 14*w - 1286. Let f be p(-29). Is h at most as big as f?
False
Let q = 0.5765 + 0.0615. Let l = q - 0.498. Is 5/2 smaller than l?
False
Let z = 2567 + -3142. Is z bigger than -576?
True
Let j be ((3/(-9))/1)/(17/1683). Let o = -93 + 53. Which is greater: j or o?
j
Suppose -3*x - 4666 = -r, 58*r - 60*r = -5*x - 7778. Does -3105/2 = x?
False
Suppose 0 = 4*f + 3*u - 0*u - 9, 5*u = -5*f + 5. Suppose 0 = -3*t + 17*o + 21, -13*o + 15*o - 78 = -3*t. Is f greater than or equal to t?
False
Let t = 806 - 806. Suppose 2*c - 50 + 52 = t. Which is smaller: -53 or c?
-53
Let p = 4341 - 4270. Which is smaller: p or 38?
38
Let o be 249104/189 + (0 + 25)/5. Let h = -1323 + o. Let r(t) = t**2 - 9*t + 9. Let a be r(8). Which is greater: h or a?
a
Suppose 0 = -6*a + a. Let c(m) = 6*m + 8. Let h be c(-2). Let f be (-3 - 166/(-24)) + h. Which is bigger: a or f?
a
Let s = -209.9419 + 210. Let u = s + -0.5581. Which is smaller: u or -10?
-10
Suppose -24 = -4*c + c, -m = c + 294. Which is greater: m or -2120/7?
m
Let s be 12/(-2 + -2) + 2 + 27. Suppose 5*n = o + s, 15 - 3 = -2*o + 2*n. Let m be (o - (-12)/9)*75 + -3. Is 3 less than or equal to m?
True
Suppose 37*x + 9633 = 25*x + 51*x. Which is greater: 206 or x?
x
Suppose 0 = 55*z + 28*z. Is z >= -23/103?
True
Let n be 3 + ((135/80)/9)/(3/(-60)). Suppose -6*z - 10 = 2. Which is bigger: z or n?
n
Let h = 8624 + -8584. Is 15 != h?
True
Let j = 187310 - 2809666/15. Let h = -2 + 0. Does h = j?
False
Let x be 1 + 7 + 377/(-52). Let f = 208 - 210. Do x and f have the same value?
False
Suppose -2*q + 5*k = -5, 0 = -2*q - k - 2*k - 3. Let w = -1150 + 3404/3. Let z = 15 + w. Is z at most as big as q?
True
Let a = 2288/27 - 3434297/40527. Which is greater: -1 or a?
a
Let d = 871445927/8565 + -101745. Is 1 at least d?
True
Suppose 0 = 4*k - 308*y + 309*y + 8940, 6694 = -3*k + 2*y. Do k and -2233 have the same value?
False
Suppose -2*h + 5*x - 94 + 3 = 0, -2*h - 5*x - 101 = 0. Let i = -85 - h. Which is bigger: i or -40?
i
Let c be ((-1)/(-2))/(16/64). Suppose c*n = 15 - 11. Is n less than or equal to 10?
True
Let w = 12803 + -7777. Is w smaller than -1?
False
Suppose 7 = 2*a - 45. Let j be a/(-38) - 1/(-1). Suppose -7*m + 2*m + 4*o = -20, 0 = 2*m - 5*o - 25. Is j != m?
True
Let l = -649 + 655.2. Let c = 0.11 - 2.31. Let q = c + l. Is 3/4 at least as big as q?
False
Suppose -2*s - 15 = -3*k, -k - 5*s + 2 = 14. Suppose 0 = -k*b + 4*b + 5, -b = 2*w + 1. Is w smaller than 7/6?
False
Let g = 401 + -216. Let z = 186 - g. Is z at most 2?
True
Let b = -32 - -32.3. Let j = -120 + 114.8. Let k = -0.2 - j. Which is smaller: k or b?
b
Suppose -k + 6*k - 333 = -x, 0 = -3*k - 4*x + 193. Let h = 146 - 139. Suppose -49 = -3*w + y, 3*w - h*w = -y - k. Which is smaller: w or 19?
w
Let c = -6454 + 6456. Is c less than -0.0374?
False
Let c = -388/1665 - -2/185. Which is smaller: c or -1126?
-1126
Suppose -4 = -208*t + 207*t. Suppose 0 = -4*o - 3*f + 10 - 167, 4*f - t = 0. Does -39 = o?
False
Let o = 4.786 + 117.214. Which is bigger: -5 or o?
o
Let v be (-9)/(-24)*140/210. Which is smaller: v or -2083?
-2083
Let g(m) = 70*m - 12. Let u be g(-14). Let i be (0 - 3)/(48/u). Suppose -3*r + 0*r - t + i = 0, 2 = -2*t. Is r >= 19?
True
Let n = -6.04 - 0.66. Let r = -121 - -116.3. Let t = r - n. Is t less than 0.2?
False
Let x(s) = -s**2 - 36*s + 414. Let w be x(13). Which is smaller: w or -226?
-226
Suppose u + 18 = 3*m, 6 = 60*u - 64*u + m. Which is bigger: u or 3/2029?
3/2029
Let r be (12 - -4)/(-4) - 6/((-462)/(-671)). Is 0.2 at least r?
True
Let c(r) = -2*r + 25. Let f be c(12). Let o(j) = 15*j + 4. Let u be o(f). Suppose -10 = 24*h - u*h. Is h > 5?
False
Let n be 75/(-2) - 2/(-4). Let r = -1028.9 + 920. Let d = r + 109.9. Is n at least as big as d?
False
Let w = -34 + 255. Let l = w + -661/3. Is l bigger than 202?
False
Let q = 4 - -9. Let a = q - 38. Suppose 2*i + 4*x = -48, -48 = 26*i - 24*i - x. Which is smaller: a or i?
a
Let u = 0.34 + -0.4. Let h(c) = -17*c + 2488. Let t be h(144). Do u and t have different values?
True
Suppose -15 = 3*z + 3*n, 320*z + n + 17 = 316*z. Which is smaller: -25 or z?
-25
Let i = 22/45 + -305867/625545. Is i less than -1?
False
Let r(a) = 2*a**2 + 9*a - 4. Let d = 289 - 294. Let s be r(d). Let h(v) = v**2 + 5*v + 2. Let j be h(-5). Is j equal to s?
False
Suppose 22*n - 26*n = 172. Let h = 46 + n. Is 7/3 at most as big as h?
True
Suppose 2*g = -3*b - 20 + 5, 4*g + 12 = -4*b. Let n(c) = c**3 - 15*c**2 + 12*c + 19. Let y be n(14). Is y greater than or equal to b?
True
Let n(k) = -72*k - 704. Let b be n(-11). Which is smaller: 68 or b?
68
Let k(j) = j**2 - 17*j + 39. Let v be k(3). Let h be (v + -32)*(-2 + 4/8). Which is greater: 54 or h?
54
Suppose -59*t + 300 = -39*t. Let j be 1 + ((-100)/t)/10. Which is smaller: 0.41 or j?
j
Let o = 0.19164 - 0.09164. Let f = 18 + -13. Which is bigger: f or o?
f
Let a = 9035 - 4358. Is a greater than or equal to 4674?
True
Let r be 3/2 - (-4)/8. Let q be 63/(-6)*r/(-33). Let f(o) = -o**3 - 19*o**2 + 21*o + 20. Let h be f(-20). Is h bigger than q?
False
Let p(n) = n**3 + 10*n**2 - 11*n + 9. Let t be 2/(10/(-12)*(-9)/(-45)). Let y be p(t). Let h be 35/(-10)*180/y. Is h != 5?
True
Suppose -714*h = -751*h - 12839. Is -344 greater than h?
True
Let m be (2/(-8))/((25/(-8))/5). Let s = 0.591 + 3.409. Which is bigger: m or s?
s
Suppose 143*c - 149*c = -84. Suppose -r - 40 = 2*d, -5*r + 69 = -4*d - 39. Let h be 1 + d/c + 38/57. Which is greater: h or 0?
h
Let h(q) = -21*q**3 - 3*q**2 - q + 2. Let l(p) = 2*p**2 + 19*p - 32. Let d be l(-11). Let y be h(d). Is y greater than or equal to -111/5?
False
Let m be -19 + 17 - 3*160/(-60). Let g be 2/(-10) - (-4)/(-1). Is m at most as big as g?
False
Suppose -3*o = -o - 408. Let v be ((-1)/(-3))/(o/9). Suppose -4*i = -2*a + 2, -8 = -2*a - 2. Which is bigger: i or v?
i
Suppose 5*j - 49 = 91. Let k = 94 - j. Let m = 5873/89 - k. Which is bigger: m or -1?
m
Let n(x) = -5*x + 3. Let s be n(-6). Suppose -137*b - 510 = -3418 - 928. Which is bigger: b or s?
s
Let p = 11.7135 + 0.1465. Let o = -0.14 - p. Let a = -0.07 + 1.07. Which is smaller: o or a?
o
Let h be ((-6)/(-8))/(22/(-88)) - -2. Is -594 < h?
True
Let v(c) = c**3 - 30*c**2 - 63*c - 36. Let u be v(32). Let j be 61*u/16*(-10 + 14). Which is smaller: -10 or j?
j
Let p = -4455 + 155921/35. Are p and -7/6 equal?
False
Suppose c - 25 = -d, 3*c - 4*d - 68 = -8*d. Is 1102/33 less