values?
True
Let z be ((-2)/(-4))/((-1)/(-4)). Suppose 0 = -2*o + 3*n + 28, 0 = -5*o + 2*n + 73 - 14. Is z less than o?
True
Let p be (-1)/((-4)/32) - 3720/472. Which is smaller: 1 or p?
p
Let q be 2/8 + 1448/(-32). Let t be q/12*8/(-6). Suppose -4*p = -5*v - 123 + 6, -t*v = 2*p + 99. Is -1 <= v?
False
Let n = -20891 - -9108481/436. Which is smaller: -1 or n?
-1
Suppose -9*o + 780693 = -56262. Let d = -2418675/26 + o. Let j = d + 31. Which is smaller: j or 0.1?
j
Let v(s) = s + 25. Let n = -60 + 40. Let h be v(n). Suppose h*q - 253 = 262. Is q > 103?
False
Let z = 241.32 - -111.62. Let f = z - 353. Which is greater: -1/4 or f?
f
Let n be (-16)/(-14) - (6511/595 - 7). Which is smaller: 0.0163 or n?
n
Suppose 27*a - 9 - 45 = 0. Let s(g) = -g + 7. Let o be s(6). Suppose -a*m = -o + 3. Which is bigger: -4 or m?
m
Let q(w) = -3*w**2 + 110*w + 3679. Let s be q(-32). Which is bigger: s or -2915?
s
Suppose -47*t = -42*t - 20. Suppose t*f = n - 31, -3*n - 5*f + 40 = n. Is -0.2 greater than or equal to n?
False
Let c = 206 + -205. Suppose 0 = 35*p - 131 + 26. Is c less than or equal to p?
True
Let h(z) = z**2 - 37*z + 586. Let y be h(47). Which is smaller: 1057 or y?
y
Let w be (1 + 17)*(-1705)/(-465). Which is bigger: 79 or w?
79
Let c be (0/((-24)/(-18)*-3 + 7))/1. Is c not equal to -0.0514?
True
Let d(k) = -k**3 - 57*k**2 + 1445*k + 138. Let v be d(-76). Let c = 118 - 57. Is c not equal to v?
True
Let k = -25/468 - -12403/267228. Is k greater than or equal to -1?
True
Let u = 1014 - 1011. Which is bigger: u or 85.9?
85.9
Let o = 1.28 + 1.72. Let v(b) = -b**3 + 11*b**2 - 18*b. Let x be v(9). Let q be x/(-3)*(4 - 3). Which is smaller: q or o?
q
Let o = -84692 + 340623/4. Suppose 0 = -u + j + 480, -3*u + 353*j + 1440 = 358*j. Let m = o - u. Is -17 smaller than m?
True
Let d be 2994/11856 + 4/(-26). Is 0 bigger than d?
False
Let b(h) = -160*h + 4533. Let w be b(36). Which is bigger: w or -11048/9?
w
Let f(t) = 8*t**2 - 268*t - 51. Let s be f(85). Which is smaller: 34968 or s?
34968
Suppose -14 - 1 = -3*m. Suppose -3*g - m = -8*g. Let i be 78/(-24) + g/4. Does i = 2?
False
Suppose 5*a - 160 = -n + 6*a, 5*n + a - 824 = 0. Let z = n + -5413/33. Let o = -15 - -16. Are o and z unequal?
True
Let h = -434/68697 - -404232553/13945491. Let f = -74/29 + h. Is f != 26?
True
Let j(m) = m**3 + 15*m**2 + 13*m - 14. Let o be j(-14). Suppose -8*x + 388 - 1628 = o. Is -155 bigger than x?
False
Let f = 108321/7 + -15473. Which is greater: 242 or f?
242
Let t = -0.04744 + 17.04744. Which is smaller: -0.07 or t?
-0.07
Let v = 5/116639 - 546071/1854910017. Which is greater: v or 0?
0
Suppose 3*u - 4*z = -145, 49*u - 2*z = 52*u + 121. Which is bigger: -28 or u?
-28
Let t = 46 + -21. Let f = t + -26. Let j(a) = -2*a**2 + 6*a + 18. Let l be j(7). Which is greater: l or f?
f
Let p(q) = q - 12. Let j be p(13). Let f be 4/(-8)*j/18. Suppose -a + 5*n = -9, -4*a + 19 - 27 = 2*n. Is f greater than a?
True
Let d be 4/24*112 + (-1)/(-3). Let y be ((-114)/900)/d*4. Let c = 3 - 2. Is c at least as big as y?
True
Let g be 987515/54897 - (-1 + 22). Is -4 > g?
False
Suppose 2*w - 170 = 4*q, -3 = -4*w + 1. Which is bigger: q or -50?
q
Let z = 3500.2 + -3491. Is z less than or equal to -2/3?
False
Let n be 4 + (-1 - -1397)*(-1)/3. Let x = n + 481. Is 19 < x?
True
Let f be 2/(-7) + (-148395)/(-549640). Which is bigger: f or -1?
f
Let y = -1884 - -1859. Are -43 and y nonequal?
True
Let v be 2*(-3)/(-24) + (-64995)/588. Let l = v - -110. Is -286 bigger than l?
False
Let g(h) = h**3 + 8*h**2 + 8*h + 10. Let l be g(-7). Let o be 2/l - ((-249)/765 - -1). Which is greater: o or 1?
1
Let f = 88 - 83. Suppose 5 = -f*v, -d + 4*v + 6 - 1 = 0. Do -0.054 and d have different values?
True
Suppose 0 = 4*v - 0*v + 3*y - 291336, 3*v + 2*y - 218502 = 0. Let n be (-4)/(-16) + v/(-53352). Let s = -1/247 - n. Which is bigger: s or -2/5?
s
Let j be (3*822/12)/((-1134)/228 + 5). Which is smaller: -1 or j?
-1
Suppose 0 = 5*q - 5*c - 42 - 38, 0 = -5*q + 2*c + 68. Let z be 1/3 - 10/q. Let y = 156.8605 + -181.8605. Is y at least as big as z?
False
Let p be ((-78)/(-65) - (-9718)/(-8090))/((-9)/2). Which is bigger: 0 or p?
p
Let s = 37.2 - 27.2. Let i = -127 + 126.6. Which is smaller: s or i?
i
Let m(o) = -9*o. Let a be m(20). Let q = 199459 - 2590629/13. Let h = q + a. Which is bigger: h or -1?
h
Let g be 0 - (-7)/(-159614)*13. Which is smaller: 0 or g?
g
Let j(g) = g - 6. Let q = -17 - 9. Let b be (-14)/(-91) + ((-8)/q)/(-2). Let l be j(b). Which is bigger: -5 or l?
-5
Let y = 162734/4553 + -1038/29. Let x = -66411 - -66412. Is x smaller than y?
False
Suppose -8*m + 22*m = 1092. Let g = m - 77. Suppose 0 = 3*a - 17 - g. Do a and 6 have different values?
False
Let j be (2 + 5/(-3))/(33/(-92367)) - -1. Is -929 at most j?
False
Let y(h) = -429*h - 1286. Let m be y(-3). Is 28/969 > m?
False
Let z(q) = q**2 - 158*q - 2437. Let v be z(100). Is v smaller than -8238?
False
Let f = -6224 - -6223.6. Is -2125 > f?
False
Let x be (-460)/38*(-12 - -20 - 9). Is x greater than or equal to 11?
True
Let c = -210 - -213. Suppose 0*l + 5*l + 71 = -n, c*n = -5*l - 63. Are -18 and l non-equal?
True
Let r = 119 + -85. Let c = -32434 - -32434.1. Is c at most as big as r?
True
Suppose 0 = w - 2*w - 3*s + 13, 2*s + 28 = 3*w. Suppose v - 4*j - 6 = 0, -2*v - w = v + 2*j. Let g be ((-6)/3 - 4) + (v - -2). Is -6 less than g?
False
Let q = -4090237/1281 + 3193. Which is smaller: 0 or q?
q
Let n(p) = -64*p + 54. Let q be n(2). Let i be (12/(-9825))/(q/10 - -7). Which is smaller: i or -1?
-1
Let v(j) = -52*j - 3168. Let l be v(-36). Which is smaller: l or -1297?
-1297
Suppose 0 = 7*z - 2*k - 2143, 5*z = 10*z - 3*k - 1526. Which is greater: z or 319?
319
Let b = 51 + -51. Suppose -25 + b = 5*n. Let g be (n/(-2) - 4)/(1 + 2). Which is greater: 17 or g?
17
Let j = 130 - 205. Let c = -92.8 - -17.8. Let k = c - j. Which is smaller: k or -4?
-4
Let p(c) = -59*c - 2315. Let f be p(-34). Which is smaller: f or -307?
f
Suppose s - 197 = -m, -993 = 7*m - 12*m + 3*s. Let w = m - 125. Suppose 2*q - 144 = -0*q. Is w less than or equal to q?
False
Let z(n) = 5*n - 8. Let t be z(2). Suppose -43 = -3*w + t*u, -1 = -u - 3. Let r be (7 + -11)/((-2)/w). Is r at least as big as 26?
True
Let r(k) = 5*k**2 - 10*k - 47. Let g(n) = -n**2 + n - 1. Let m(d) = -2*g(d) + r(d). Let l be m(-10). Let t = l + -28678/37. Which is smaller: t or 0?
t
Let y be ((-3)/(-1))/(2 - 1904/944). Which is smaller: y or -186?
-186
Suppose f + 27 = 53. Suppose 28*v = 2*v + f. Is v smaller than 2/15?
False
Let g = 14983 - 494444/33. Is -1/3 at least as big as g?
False
Let z = 138 - 67. Let k = 4 - z. Let g = -65 - k. Which is greater: 2/9 or g?
g
Let p be ((-1608)/(-56))/((-328)/(-56) - 6). Which is smaller: p or -186?
p
Let l(j) = -j**3 - 3*j**2 - j + 2. Let x be l(0). Is 2/1867 equal to x?
False
Let k = -446368 + 18205388/41. Suppose -2053 - 281 = m. Let d = k - m. Are d and -1 nonequal?
True
Let o be (-7304)/(-18)*(-45)/(-10650). Let u = o - -4/213. Which is smaller: 2 or u?
u
Let u = -64 - -67. Suppose u*j + 0*h - 5*h - 80 = 0, -4*j = -4*h - 96. Is 18 at least as big as j?
False
Suppose 5*h = -3*h - 64. Let l(q) = q + 18. Let r be l(h). Suppose -r*c + 3 = -7. Is 0 < c?
True
Suppose 0 = 1129*f - 1086*f - 115025. Is 2673 less than f?
True
Let w = -27 - -36. Suppose 62 = -w*k + 53. Is -7/27 equal to k?
False
Suppose q - 792 = -5*x, -3*q + 194 = 3*x - 2206. Is q < -0.2?
False
Suppose 18*k = 82*k - 45969 + 158673. Is -1759 < k?
False
Let n = 12383 + -12392. Let o = -0.6 - -0.54. Is o greater than or equal to n?
True
Let g be (-1)/((2/7)/(-2)). Suppose -r - g = 5. Let n be -2*3/(-9) - r/9. Which is bigger: 1 or n?
n
Let w = 22627 - 22652. Let a be 3 - 1 - 9*2. Which is smaller: a or w?
w
Let k = -46 + 146. Let c be 4 + 1/(-1) - 360/k. Let h be ((-4)/(-20))/((-1)/3). Are h and c equal?
True
Let a(m) = -m**3 - 11*m**2 + 2*m + 15. Let x be a(-11). Let p be 0 - -5 - (9 + x). Let h be ((p/7)/3)/1. Is h >= -1?
True
Let d(f) = -f**3 + 28*f**2 - 21*f - 7. Let b be d(27). Let v = -240 + b. Suppose -3*g = g + 336. Do g and v have the same value?
False
Suppose -410 = 26*h - 384. Which is smaller: 43/161 or h?
h
Let v = 53 - 240. Is v less than -185?
True
Suppose -59*q - 120 = -54*q + b, -2*q = 2*b + 56. 