is smaller: c or 3/5294?
c
Suppose 3*z - 8*z - 2*q - 11 = 0, -z = -5*q + 13. Let g be 10/30 - 762/18. Let d be -3*1 + (-21)/(g/4). Are d and z equal?
False
Let j = -7302 - -7301.98047. Which is smaller: 1 or j?
j
Let g = -20 - -18. Let p = 2/6527 + -2317091/19581. Let c = -119 - p. Is c less than or equal to g?
False
Let x = -13751 - -13573. Which is greater: -181 or x?
x
Let i be (3 - (-1 + 0))*-1. Let k be (-3 - -123)/((-6)/27). Let m = -544 - k. Is i > m?
False
Let l be 4 - ((-50 - 12) + -9). Which is smaller: l or 20?
20
Let u be 10/(-50) - (-130)/25. Let y be (u/(-40)*2)/((-1)/8). Do 8/13 and y have different values?
True
Let t = -2937 + -2159. Do t and -5095 have the same value?
False
Let x = 103 - 124. Let r be (0/x)/(-2 + 1) + 1. Is 1/162 < r?
True
Suppose 2*u = -324 + 338. Suppose -u*w = 21*w. Which is greater: w or 8/27?
8/27
Let u(l) = l**3 - 2*l**2 - 14*l - 11. Let a be u(-1). Which is smaller: a or 8/103?
a
Suppose -19 = -2*c - 3*x - 0*x, c - 22 = -4*x. Suppose b + 25 = 2*t, -4*t - t - c*b + 58 = 0. Let i be -3*(-8)/30*2/t. Which is bigger: 0 or i?
i
Suppose 5*i = -37*i - 6636. Let w = -1430/9 - i. Are w and 3 unequal?
True
Let j(t) = 6*t + 16. Let y be j(-3). Let s be 8/y - (-11 - (-3 - 2)). Suppose 2*o = -0*o - 4, 0 = -f + s*o - 31. Is f less than -71/2?
False
Let g = 9923/750 - 79/6. Let m = g + 129/7750. Which is greater: m or -1?
m
Let x(r) = r**3 - 11*r**2 + 10*r - 9. Let p be x(10). Let j(u) = 2*u**2 + 24*u - 26. Let q be j(-13). Let h be 12 + p + 18/(-10) + q. Is -0.05 bigger than h?
False
Let h = 51287/17 + -3016. Let a(k) = k**2 + 17*k + 16. Let p be a(-16). Which is bigger: h or p?
h
Let b(h) = -2*h**3 + 23*h**2 - 3*h - 87. Let y be b(11). Which is smaller: -2/92065 or y?
-2/92065
Suppose 4*h + 4*m - 3*m = -18, -5*h = 2*m + 24. Let t be 12906/(-234) + h/(-26). Let j(q) = -2*q**2 + 3*q. Let o be j(6). Is o smaller than t?
False
Let v = -287744/6422949 - 5/17037. Let b = 3/116 + v. Let k = -30222 - -30221. Is b > k?
True
Let a(w) = w**3 - 27*w**2 - 215*w + 39. Let i be a(35). Which is bigger: i or 2313?
i
Let s = -41689.54 - -41689. Are s and 1/3 nonequal?
True
Let u be 744/1364*((-4058)/1352 + 3). Is -1 at most as big as u?
True
Suppose a - 29 = 50. Let w be (2 - -1)*-1*1*3713/(-141). Is w < a?
False
Let s = -16 - -32. Suppose 4*g + 3*z = -5, 0 = 214*g - 211*g - 4*z - 15. Do s and g have the same value?
False
Suppose 0 = -22*q + 26*q + 4*l - 488, 2*l = 3*q - 366. Let x = 73 - q. Is 0 not equal to x?
True
Let d = 1726759483/16155 + -106887. Is d at least as big as -1?
True
Let u = 4030973/157 + -25675. Suppose 5*q - 10 = -5. Which is smaller: u or q?
u
Let q = -56 - -28. Let m = 31 + q. Suppose 0*s - 18 = -m*s. Which is greater: s or 2?
s
Let j = -3086 - -772. Let u = j + 6883/3. Which is greater: u or -19?
-19
Let z = 83 + -77. Let j be 3 + (-304)/12 - (-2)/z. Let y = 123 + -144. Which is greater: j or y?
y
Let q = 14460 + -679678/47. Is -1 at least q?
True
Let d = -7488 - -2892. Is -4596 at least d?
True
Let y = -454321 - -454320. Let q = -89.4 - -75. Is y less than q?
False
Let k = 93 + -61. Suppose n + 3 + 101 = 3*f, 0 = f + 2*n - 30. Do k and f have different values?
True
Let i = 275.4 - -22.6. Let b = i + -300. Let h = 6267/7 + -897. Which is greater: h or b?
h
Suppose -5*f + 5*d = -10, 0 = 5*f + 3*d + 12 - 14. Which is greater: 13/244 or f?
f
Suppose -3*d + 347*p - 349*p = -341, 3*p + 432 = 4*d. Is d bigger than 122?
False
Suppose -73*x = -16*x - 19893. Which is smaller: 346 or x?
346
Suppose 13*o - 63 = 6*o. Let k be (-4)/2*(1 + o/(-6)). Let c be k + (-5)/(45/(-39)). Is c not equal to 5?
True
Let k = -182.8 - 187. Let v = k - -46.8. Which is bigger: 2 or v?
2
Let q be (-246534)/(-1615) - (147/35)/7. Is 152 at least as big as q?
False
Let m be -2*(295/(-40) + 7)*8/6. Which is greater: m or -9/599?
m
Let a = -74 - -74.325. Let m = -0.31 + a. Which is smaller: -1/6 or m?
-1/6
Suppose -34*u = -33*u - p - 15, 4*u - 30 = -2*p. Is u greater than 35?
False
Suppose q + 6*g = g + 23, -4*q - 5*g + 17 = 0. Let i be 2/4*(8 - q). Suppose -f - 6 = -3*f. Which is smaller: i or f?
f
Suppose -2*x = -t, 43*x + 9 = 44*x - 5*t. Are 1320 and x unequal?
True
Let t(r) = -2*r**3 + 6*r**2 + 7*r + 4. Let o be t(4). Is o <= -8/9?
False
Suppose 4*y + 34 = -6. Let l = y + 15. Suppose -12*u = -l*u. Is u less than -4/5?
False
Let m = -3185.988 + 2.988. Which is bigger: 3/5 or m?
3/5
Let g = -136.05 + 239. Let z = 103 - g. Which is smaller: z or 0?
0
Let j be (57/50)/(45/10 - 5). Is -1 at least as big as j?
True
Let b be 2/14 + (-20)/(-7). Suppose -b*d = 298 + 116. Which is greater: -139 or d?
d
Let t be (-1 + 11)*70/2. Let i(p) = 244*p + 58177. Let x be i(-237). Which is greater: t or x?
t
Let n = 12 + 504. Let z be n/2 - (-20 - -25). Which is smaller: 252 or z?
252
Let f = -5070467/896 + 5659. Is 1 greater than f?
True
Let l = 83 - 67. Suppose -l*i = -18*i - 10. Suppose 0 = 4*s + 5*t + 5, -3*t = 3*s - t + 2. Which is smaller: s or i?
i
Let i be 6 + (-95)/(-7) + 8/(-14). Is i smaller than -17?
False
Let x be (-2639)/(-742) - 2/(-4) - 4. Suppose 5*f = -2*f - 35. Let i be 5*f/(-25) + -2. Which is smaller: x or i?
i
Let q = 4646 - 571460/123. Which is greater: q or -0.03?
q
Let g(z) = 2 - 4*z**3 + 5*z**3 + z**3 - z + z**2. Let a be g(-2). Suppose 5*y + 46 = -s + 22, 21 = -3*s + 2*y. Are s and a equal?
False
Let b be (-5)/(-2)*(-2)/9. Let u be (-5)/(4/2 + (-1008)/512). Let y be 6/57 + u/76. Which is greater: y or b?
b
Let s be 672/(-140)*5/2. Let c be (-42)/24 + s/(-16). Is -1/597 smaller than c?
False
Let x be ((-168)/308)/(23/(-253)). Are -1/328 and x unequal?
True
Suppose 2*r + 412 = 3*j + j, 5*j - 4*r - 512 = 0. Suppose -160 = -11*n + j. Is 23 greater than n?
False
Let q(m) = 22*m**2 - 100*m - 32. Let n be q(3). Let i(a) = 3*a**3 + 3*a**2 + 2*a + 4. Let f be i(-3). Let h = n - f. Do h and -78 have the same value?
True
Let j = 67 - 34. Suppose -17*y + d + 15 = -15*y, 3*y - j = -2*d. Which is greater: y or 7?
y
Suppose -3*v = -3*o - 36, 4*o + 11 + 49 = v. Let i(b) = -b - 6. Let n be i(o). Suppose 7*a + 3 = n. Which is greater: -1/89 or a?
a
Let u = -21949.01 + 22290. Let d = u + -341. Which is bigger: d or -1/4?
d
Suppose -4*j = w + 684, -2*w = -4*j - w - 692. Let y = 100027 + -100200. Which is greater: y or j?
j
Let w = 9241 + -9251. Let a = -0.11 + -3.89. Let k = -3.8 - a. Which is bigger: k or w?
k
Suppose 4*p + 3*d + 279 = 67, -4*d - 40 = p. Suppose 4*n = 6 + 14. Let z be 0/(n - 4) + -57. Which is bigger: p or z?
p
Suppose -x = -4*v + 22, 2*v + v - 17 = x. Suppose 5*i - 5*z + 10 = -4*z, -5*z + 30 = -v*i. Which is smaller: -48/31 or i?
-48/31
Let t(s) = -27*s - 53 - 97*s**2 + 187*s**2 + 167 - 89*s**2 + 42. Let n be t(9). Are -79/11 and n unequal?
True
Let a(y) = 4*y**3 - 6*y**2 - 12*y - 4. Let u(c) = -3*c**3 + 7*c**2 + 12*c + 4. Let f(i) = 4*a(i) + 5*u(i). Let p be f(-10). Let t be ((-28)/p)/(3/12). Is 9 > t?
True
Let k(c) = c**3 - c**2 + 19*c + 92. Let a be k(-3). Which is bigger: 4/11883 or a?
4/11883
Let z be (101886/5)/((-13)/(-390)). Let q = 7950914/13 - z. Let g = -293 + q. Is -1 bigger than g?
False
Let c = 118/699 - 36487/10485. Let s = -10/9 - c. Which is smaller: 1 or s?
1
Let u(h) = -469*h + 38032. Let z be u(81). Suppose 2*m + p - 85 = -0*p, m = -5*p + 65. Which is smaller: z or m?
m
Let r be 1/(7/(-3773)*-11). Are 32 and r equal?
False
Let k be -3 - 174/11 - 16/88. Let f = k + 242. Is 224 bigger than f?
True
Let k = -15446/3 - -5238. Which is bigger: 88 or k?
k
Let n(m) = 40*m - 5. Let j be n(0). Let v be (j - -4 - -4) + -2. Is 22/29 != v?
True
Let l be -1048*(46/207)/(8/18). Which is smaller: l or -523?
l
Let d be 2566/(-8) + (1/(-2))/(24 + -22). Which is bigger: d or -314?
-314
Let i(q) = q**3 + 13*q**2 + 38*q + 293. Let c be i(-12). Is -467/25 less than c?
False
Let f = -5.6 - -2.3. Let z = f - 45.31. Let k = -49 - z. Which is greater: -0.2 or k?
-0.2
Let m = 115 + -105.4. Let n = -9 + m. Let p = n + -1.6. Is 23 at most as big as p?
False
Let v = 27995/57 - 491. Let r = -548/969 - v. Which is greater: 0 or r?
0
Let g = -30297/5 - -6059. Which is smaller: g or 667?
g
Let n(s) = -s**2 - 135*s - 123. Let o be n(-93). Do 3782 and o have the same value?
False
Let y be (-5)/(-4)*4 + 9/(-3). Suppose -368 = 4*f + y*g, 3*f + g = 2*g