s bigger: q or m?
q
Suppose m - 2*b - 6 = -7*b, -66 = -4*m + b. Let c = m + -10. Let u be (1 + c)/(-7) + (18 - -1). Does 19 = u?
False
Let o be (-2 - 111)/(-10*(-52)/10 - 3). Is o smaller than -1?
True
Let x be 10 + 1 + -1*2. Let s be 0 + 7 - (25/10 - (-176)/32). Is x smaller than s?
False
Let s = 4.8 - -24.2. Let a = s - 32. Is a > 1.6?
False
Let k = 11/7 + -2434/21. Which is smaller: k or -114?
k
Suppose 5*d + 2*p - 4 = -9, 3*p + 3 = -3*d. Which is greater: d or 14/445?
14/445
Let y(t) = 4*t**2 - 8*t + 12. Let k be 7/(-14) + ((-5)/(-2) - 0). Let q be y(k). Suppose -2*z = 10 - q. Which is smaller: z or 9/8?
z
Let x = 187.2 - 187. Let d = -67.2 + 12.2. Which is greater: x or d?
x
Let l(t) = -3*t - 9. Let f be l(-3). Suppose f*a + 6 = a + s, -3*a = s - 12. Let y be (5 + -3)*(-39)/a. Is y smaller than 1?
True
Suppose -3*z = -2*r - 7, -z + 1 = 3*r - 5*r. Suppose -z*w = -5*w - 3*t, -5*t = -4*w + 22. Which is bigger: 8/3 or w?
w
Let g be 1 + -1 - ((-92)/1610 + (-192)/140). Suppose 3*v = -v + 32. Let d be (-7)/(-4) + 2/v. Which is smaller: g or d?
g
Let h be -1*6*(-4)/8. Let l be 7/14 + (-1)/h. Suppose -2*b + 33 - 31 = 0. Is b smaller than l?
False
Let x(y) = 11*y + 198. Let n be x(6). Is 793/3 < n?
False
Suppose 0 = -2*u - 99 + 35. Let i = 1861/2 - 963. Is u > i?
True
Suppose 5 = -u, 65*u - 67*u - 325 = -3*v. Is v != -22?
True
Let y be (154/(-56) - 3/4)*168/111083. Which is smaller: 0 or y?
y
Let c = 2112 - 2078. Which is smaller: c or 375/11?
c
Suppose 0*j - 7*j = -35. Suppose -6 = -j*u - 331. Is -66 != u?
True
Let x = -3305.74 - -3286. Does 1 = x?
False
Let g = -15/119 + -281/1547. Is g <= -3/46?
True
Suppose -3*w = -4*s - 15 - 11, -4*w + 4*s + 36 = 0. Let f = w - 14. Let k be (-18)/(-135) + (2023/(-30))/17. Which is bigger: f or k?
k
Let g = 3387 - 3408. Is g >= -417/20?
False
Let l = 5727 + -5684. Which is greater: -2/17 or l?
l
Let f = 4505233/107 + -42107. Is -1 at most as big as f?
False
Let s = 18/16093 - -53106594/273581. Is 195 >= s?
True
Suppose 45*i = 39*i - 12. Let a be ((-55)/(-10))/(-11) - (2 + i). Which is smaller: a or -122?
-122
Let p = 5001 - 5001.489. Which is smaller: p or 5?
p
Let s be ((-24)/(-9) - 2)/(128/80448). Is s at least as big as 422?
False
Let b(z) = -z**2 + 20*z + 79. Let f(v) = -v**2 - v - 2. Let x(i) = -b(i) + 2*f(i). Let c be x(-19). Which is smaller: c or 3?
c
Suppose 0 = 661*m - 655*m - 3480. Are m and 582 non-equal?
True
Let j = 67495523/4009 - 16836. Let g = 8477/1840131 + j. Are 0 and g equal?
False
Let g be (2/(-6))/((-4)/(-3)). Let r = -142 - -3973/28. Let x = g - r. Which is greater: 1 or x?
1
Suppose 0 = 4*g + 5*s - 7, 0 = -3*g - 389*s + 390*s - 9. Are -133/43 and g equal?
False
Suppose -38 = -3*m - 2*v, -4*v - v = 4*m - 60. Suppose -7*d = -m*d - 10*d. Suppose 3*o - 3*w + w - 55 = 0, -o - w + 25 = d. Is o bigger than 41/2?
True
Let p be ((-37485)/(-1470))/((-2)/4 + -1). Which is smaller: 7 or p?
p
Let l be 1104/651 - (12 - 255/21). Which is smaller: 2 or l?
l
Let l = -883 - -887. Suppose 5*v + l*k = 26, 3*v + 9 = -4*k + 31. Do v and -58 have the same value?
False
Suppose 120*d = -106*d - 212 - 14. Let z = -140 - -73. Does z = d?
False
Let z = -365 + 431. Let j = z + -337. Is j at most as big as -271?
True
Let m = 24997 - 19397681/776. Which is greater: 0 or m?
0
Let p = 250 + -245. Suppose -4*z + 8*c - 3 = 5*c, p*c = 2*z + 5. Which is greater: z or 3/34?
3/34
Suppose 136 = 7*r + 52. Suppose 2*t + 3*o = 27, -5*o + 16 = 4*t - 41. Suppose t = -r*q + 6. Are 24 and q nonequal?
True
Suppose 3*m = -21, -5*x - 20*m = -24*m - 27638. Is x less than or equal to 5525?
True
Let h = 68 + -62. Let s be (-59 + 6 + -4 - -4)/h. Which is smaller: s or -9?
-9
Let l = -515.8 + 512.903. Let v = -0.103 + l. Which is greater: -1 or v?
-1
Suppose 351*a = 227*a + 142352. Which is smaller: a or 1143?
1143
Suppose 4*g = n + 21, -2*g - 3 + 15 = -2*n. Suppose 10*t = g*t + 10, 0 = -2*m - 4*t + 24. Is m smaller than -4?
False
Let c = -50 - -54. Suppose -2*x - g + 1 = 11, c*g + 25 = -3*x. Let l(s) = 2*s - 38. Let n be l(20). Which is smaller: x or n?
x
Let d(x) = 33*x + 98. Let m be d(-3). Let l(y) = -7*y**2 - 3*y - 1. Let q be l(m). Which is smaller: 19/4 or q?
q
Suppose -4*y + 3*j = j + 2, -y = 5*j + 6. Let c = -732203/160 - -18305/4. Which is greater: y or c?
c
Let n = 1979 - 6049801/3057. Is 1 at least as big as n?
True
Let d = -1792266154232/8927 + 200769145. Let s = 36/113 - d. Which is bigger: -1 or s?
s
Let p = -3526 - -26431. Let v be ((-9)/6)/(p/60). Which is smaller: v or 0?
v
Let f = -25.07 + 47.07. Which is smaller: 11.9 or f?
11.9
Let v(s) = -33*s**2 + s + 2. Let o be v(1). Let q be (o/9 - -4) + 366/18. Which is smaller: q or -0.1?
-0.1
Let m = 12078616/61 + -198003. Which is bigger: m or 7?
m
Let b = 3157 - 3086. Is b > 83?
False
Let y = -7.62 + 1.62. Let q = 49.63 - 50. Let o = q + 0.34. Is o > y?
True
Let s be (2/(-2))/((-36)/180). Suppose -4*y = -s*n - 32, 5*n - 2 + 18 = 2*y. Suppose -14 = -z - 2*o + 3, -4*z = 4*o - 48. Is z at most as big as y?
True
Let w be 286/(-5) - (-16)/(-20). Let i(x) = x**3 + 58*x**2 - 3*x - 171. Let v be i(w). Is 12 smaller than v?
False
Let o = 86.6 + -102. Let a = o + 14. Let i = a + 2.4. Which is greater: 34 or i?
34
Let p(f) = 10*f. Let d(j) = -j - 1. Let n(w) = 2*d(w) + p(w). Let i be n(1). Suppose m + 24 = 36. Which is smaller: i or m?
i
Let o be (-6)/57 + (-3381)/(-3059). Let m(r) = -r**3 + 5*r**2 - 3*r + 2. Let w be m(2). Let l be (-12)/(-9)*7/w. Is o less than or equal to l?
True
Suppose d - 107*o = -111*o + 1191, -3*o + 3609 = 3*d. Is d smaller than 1208?
True
Let i be 192/23 + (-3 - 9). Is i equal to -1/13?
False
Let f = -130 - -130.138. Let t = 396 + -396.048. Let c = f + t. Is -3 at most c?
True
Let c = 3088.55 - 3019. Let h = 2.45 + c. Which is smaller: 0.1 or h?
0.1
Let s be (4 - 1)/((-196)/150 - -1). Let b = s + 6249/667. Which is bigger: b or 0?
0
Let g = -2987 - -2987. Which is bigger: 2/847 or g?
2/847
Let b be 0/(-9) + (-4)/((-12)/(-303)). Let w = -103 - b. Is w equal to 112?
False
Let b = 137511109/99 + -1389013. Let f = -104/11 - b. Which is smaller: f or 1?
1
Suppose 4*a - 83*o = -85*o - 1160, 0 = -5*a - 4*o - 1456. Let v be (-72)/a - (238/(-8) - 0). Is -2 equal to v?
False
Suppose -397 = -4*i + 3*x + 135, 0 = -3*i + x + 404. Suppose 0 = 4*p - 248 - i. Which is bigger: 95 or p?
p
Let s = 7713 - 7699.9. Which is greater: 14/3 or s?
s
Let f = -2415.837 + 2416. Is f bigger than -2/15?
True
Suppose 3*t - 4*o - 122 - 61 = 0, 2*t - 145 = -5*o. Suppose -8*w = -223 - t. Which is smaller: 32 or w?
32
Let c = 20 + -26. Let q be 5 + c - -1*29. Suppose -16*l = -18*l + 56. Is q >= l?
True
Let v(n) = -8*n + 85. Let s be v(9). Let c be (s - 16) + 1708/570. Is -1 at most as big as c?
True
Let x(n) = -19*n - 909. Let v be x(-48). Let d(l) = l**3 + 8*l**2 - 9*l + 4. Let a be d(-9). Are v and a equal?
False
Let g = 3964 - 3932. Which is bigger: g or 6?
g
Let j be (2/(-3))/1 - (-1274)/3234. Is j equal to 111?
False
Let x(u) = 653*u + 795. Let b be x(-1). Are 20 and b equal?
False
Suppose 2*s + 4*l = -s + 345, -2*s + 4*l + 210 = 0. Suppose -15982 - 3998 = -86*o - 94*o. Is o smaller than s?
False
Let m = -11374 + 602827/53. Which is greater: -2.9 or m?
m
Let h(p) = -4*p**2 - 24*p + 64. Let u be h(-8). Does -1/4018 = u?
False
Let z = 772 + -23936/31. Let r = 150 - 166. Let n be (-13)/(936/r) - (-4)/(-18). Is n < z?
False
Let g = -12911 - -13074. Are 157 and g equal?
False
Suppose -l = 32*l - 33. Let t be ((-532)/(-2640))/l + 9/(-45). Which is smaller: t or 1?
t
Suppose 7*d = -19733 + 3689. Which is smaller: -2291 or d?
d
Let s = -191.925 + 192. Let i = -115.075 + s. Is i >= -1/3?
False
Let a = -14 - -93. Let k = 84 - a. Suppose k*z + z = -6. Which is bigger: -2 or z?
z
Let g be 6/4*100/30. Suppose 29 = 17*y - g. Is y less than 1/2?
False
Let o be (-1)/(-2)*(2 - 2). Suppose -x = p + 4, -5*x - 23 = -o*x + 2*p. Which is smaller: -1 or x?
x
Let m be 33/3 - (2 + 0). Let s = -110 + 63. Let y = -36 - s. Which is smaller: y or m?
m
Let k(v) = -v**3 - v**2 + 3*v + 3. Let w be k(-2). Suppose 0 = p - 2*j - j - 16, 12 = p - j. Suppose -o - 3*m = -2*o - p, -2*o + w = m. Is -2/27 not equal to o?
True
Let p be ((-232)/46)/(-7 + 7 - -2). Let l = -3258/1219 - p. Which is smaller: l or 1?
l
Let q(r) = 2*r*