
j
Let p be 1*((-34)/16)/17. Which is smaller: p or 8/363?
p
Let a(z) = -20*z + 22. Let w be a(-9). Let b = -213 + w. Which is smaller: -13 or b?
-13
Let v = 27542/331159 - -222251548883/3402658725. Let s = -2/10275 + v. Is 64 greater than s?
False
Let g = -138 + 143. Suppose g*f + 3*c + 3 = 0, 0*f + 3*c - 3 = -3*f. Which is smaller: 2 or f?
f
Let j be 4/18 - 8658/324. Suppose 5*i + 112 = i + 4*k, -i - 23 = 4*k. Which is smaller: j or i?
i
Let u = 487 - 1187. Let y = -695 - u. Which is greater: y or 7?
7
Suppose -c = 7*c + 1832. Let z = -6184/27 - c. Which is smaller: z or -1?
-1
Let n = 442 + -556.9. Let b = 123 + n. Let m = b + -7.1. Is 2 not equal to m?
True
Let n = 10 - 9. Let r = 0.0118 + -0.0788. Is n less than r?
False
Let r = -7283.8 + 7284. Which is smaller: r or 1552?
r
Let c = 7 + 97. Let u = 102 - c. Let r = -10 - -15. Which is smaller: u or r?
u
Let a be (-6)/15*(-5 - 10). Let b be 3/(-9) + (-1042)/a. Which is greater: b or -175?
b
Suppose -3*j = -3 - 6. Suppose -3*r = 2*m + 57, j*r + m + 63 = -3*m. Let g = r - -16. Is g > 2/49?
False
Let m(x) = 2*x**3 + 15*x**2 - 9*x - 7. Let a = -476 - -468. Let p be m(a). Is 16 greater than p?
True
Let r be (2*-1 + 7)/3. Suppose -4*b - 326 = -262. Let o = 19 + b. Is o greater than r?
True
Suppose 0*i - i = -2*a - 29, a = -5*i - 20. Let x(u) = 12*u + 67. Let o be x(-7). Is o smaller than a?
True
Let h be 20/(-32)*24/456. Which is smaller: 0 or h?
h
Let r be 12/27*(-21)/(-6). Let q = 37 + -34. Suppose 2*o - o = q. Is o greater than r?
True
Suppose -18 - 12 + 6 = -24*x. Which is bigger: x or 37/160?
x
Let h be (12/(-11))/(168/364 + (-553)/1001). Which is smaller: 1/53 or h?
1/53
Let d = 1 - 1. Let w(j) = 5*j**2 - 11*j - 113. Let y be w(6). Is y less than or equal to d?
False
Suppose -5*c = -0*c - 10. Let n(o) = -8*o + 8*o**2 + 10*o**c - 7*o**2 + 2 + 4*o. Let x be n(2). Is x at most as big as 37?
False
Let d(u) = 954*u + 1371. Let o be d(-4). Is o at least -2443?
False
Let l = -88 - -28. Let d = -5632 - -5629. Which is bigger: l or d?
d
Suppose 2*g + 6 = o + 18, -5*o - 20 = 0. Let z be (3/4*-1)/(-1)*g. Is z <= 2?
False
Let m be 1/(-1*18/9)*4. Which is greater: m or -114/61?
-114/61
Suppose f = -3*f - 2*m - 66, -2*f - 3*m - 31 = 0. Let h = 5264/3 + -1772. Let o = f - h. Which is smaller: o or 11?
o
Let m = 0.27 + 0.73. Let v(w) = -6*w**3 + 4*w**2 + w. Let s be v(6). Let y = s - -56156/49. Are m and y unequal?
True
Let t = -420 - 356. Let f = -980 - t. Which is bigger: -1/5 or f?
-1/5
Let i = -55 - -55. Suppose u - 5*a + 11 = 0, -u + i*u = 5*a - 9. Let f be (-94)/(-98) - (-5 + 6). Which is bigger: u or f?
f
Let m(d) = -3*d + 27. Let n(v) = -5*v - 23. Let a(j) = 2*j - 38. Let t be a(16). Let q be n(t). Let u be m(q). Which is smaller: u or 5?
5
Let c(f) = 18*f**2 - 192*f + 13. Let o be c(3). Is o bigger than -398?
False
Let n be (-1)/((-5)/20) + -3. Let b be 36/(-632)*(-10)/(-15). Which is smaller: b or n?
b
Let q(r) = 2243*r + 475. Let d be q(0). Which is bigger: d or 493?
493
Let q(k) = -74*k - 286. Let a be q(-4). Let h be a/(-20)*1*-4. Let w be 11/8 + 1/2. Which is greater: w or h?
h
Let c be (-18 + (-333)/(-18))*(1 - 2285). Do c and -1143 have different values?
True
Let d = 144 + -143.736. Let l = d + -0.164. Are l and -223 equal?
False
Let j = 4.18 - 4.625. Let v = 3.445 + j. Which is bigger: v or -22?
v
Let q = -649.5 - -501. Let i = q + 149. Is -3/7 at least as big as i?
False
Let y = 6 - 6.028. Let c = y - -21.028. Suppose -7*b - 7*b = 3*b - 2*b. Is c at most b?
False
Let f = -644 + 896. Which is smaller: -1 or f?
-1
Let r(c) = -7*c**2 - 10*c**2 + c + c**3 + 15 + 40*c. Let a be r(14). Let s(y) = -11*y. Let w be s(1). Is a >= w?
True
Let s(n) = -12*n - 472. Let g be s(-41). Let r be (-40)/8*(0 - 5). Are r and g nonequal?
True
Let f = -49 + -1025. Let s be 1/((30/f)/5). Is -178 smaller than s?
False
Let p be ((-639)/(-189) - 3)/((-8)/12). Which is smaller: p or 3.29?
p
Let f = -17917 - -17917. Is f less than or equal to -2110?
False
Let u = -60310 + 106628083/1768. Which is bigger: u or -1?
u
Let s(k) = -18*k**2 + 12*k + 1. Let o be s(1). Let x be -5 - ((o - 65) + -1). Which is greater: x or -5?
x
Let q(g) = -148*g - 2. Let r(l) = 294*l + 6. Let b(c) = 10*q(c) + 6*r(c). Let n be b(1). Which is smaller: 299 or n?
299
Let i = 1037770 - 40470814/39. Let o = -275/13 + i. Are o and 35 nonequal?
True
Let r be 4 + -14 - -6 - (-55 + 1). Let h be r/306 + 20/(-90). Suppose 0 = -q - 3, 2*q + 9 = -3*j. Is j >= h?
False
Let a be (-15)/(2/2 - (18 + -16)). Suppose -5*n = 3*h - 14, 4*h = -h + a. Is n at least as big as 2/27?
True
Let x = -0.25 - -0.46. Suppose -3*f + 1733 = -916. Suppose f*s - 885*s = 4. Which is smaller: x or s?
s
Let d = -1221/4 - -6163/20. Is d at most as big as 4?
True
Suppose 0 = -h + 6528 - 6519. Suppose 4*u - 32 - 1 = -3*n, -2*u + n + 19 = 0. Suppose -5*c + 0*s + 39 = -s, -c - s = -u. Which is bigger: c or h?
h
Let m = -11711 - -10714. Which is smaller: -999 or m?
-999
Let m(w) = -3*w - 2*w - 4*w + 1 + 7*w. Let z be m(3). Let l be (-28)/(-54) - (z + (-68)/(-12)). Which is bigger: l or 0?
0
Suppose -7 + 37 = -5*j. Let v(u) = 2*u**2 + 11*u + 2. Let t be v(j). Suppose 0 = -4*f + t*f - 24. Which is smaller: f or 5?
5
Let y be -2 + 6 + 34648/(-4332) - -4. Which is greater: 1 or y?
1
Suppose 0 = -4*s + 2*u + 3944, -5*s - 1383 + 6318 = -5*u. Suppose 0 = -13*h + 88 - s. Which is bigger: -68 or h?
-68
Let p = -12508 + 12678. Which is smaller: p or 184?
p
Let f = -477.9 - -465.9. Which is bigger: -20.5 or f?
f
Let t = 196 - 289. Let r = t - -89.4. Which is smaller: 1/3 or r?
r
Let l(g) = 588*g**2 + 257*g - 1687. Let x be l(6). Is x greater than or equal to 1/2?
True
Let g be -5 + 21447/108 - 6/24. Which is smaller: 194 or g?
g
Let m(i) = -i**3 - 12*i**2 - 11*i. Let k be m(-11). Suppose k = 2*t - 51 + 49. Is 3/46 >= t?
False
Let g = -284 + 276. Let o be (2/g - 0)/((-294)/784). Which is smaller: o or 51?
o
Let f be (-92)/10*240/(-160). Which is bigger: -7 or f?
f
Let n be (0 - -2)/(3/(-6)). Let o be -3 + -1*(16 + n). Let z be (-6)/o*(-125)/(-10). Is 7 < z?
False
Let g = -13/86574 + 1193765/6796838166. Is g <= 1?
True
Let o be 9 + (-11 - -10) + (-174)/28. Is 1 equal to o?
False
Let f = 63 + -60. Let r be 6/(0 - f) - 12/(-1). Let p be (84/10 - 3)/(2/r). Is 25 bigger than p?
False
Let n(x) = 5*x**2 + 141*x - 434. Let j be n(-31). Which is smaller: -1/13536 or j?
-1/13536
Let r = 15567 + -4265363/274. Which is bigger: r or 0?
0
Suppose -478680 - 308015 = 169*d. Are -4655 and d nonequal?
False
Suppose 0 = -5*m + 5*g - 6*g + 20, 4*g + 20 = 0. Let t be 4*-2*(-3)/12. Suppose 0*d + 98 = m*c - t*d, 2*d = -3*c + 46. Are c and 52/3 nonequal?
True
Let m(h) = -2 - 6 - 5*h - 1777*h**2 + 1772*h**2. Let g be m(-3). Is g less than or equal to 0.2?
True
Let s be -111*20/(-372) - 6. Let f = 141/2 - 68. Which is bigger: s or f?
f
Let x(m) = -m**2 - 8*m + 6. Let w be x(-8). Suppose 8*a = 6*a + 32. Let v be (a - 18)*(3/(-2) - 2). Which is smaller: v or w?
w
Let a be ((-2)/(-18))/((-2)/3). Let d = 122129 + -122149. Which is greater: d or a?
a
Let r = -2428.719 + 2429. Is -40 greater than or equal to r?
False
Let t = -0.02 + 0.01. Let o = -11.37 - -7.37. Which is bigger: o or t?
t
Let l be 15/(-5)*(-30)/5. Let u = 16 - l. Let x(w) = 2*w**2 - 11*w - 2. Let k be x(4). Is k less than u?
True
Let d = 1155 - 6949/6. Suppose 0 = s - 4*b - 1, 0 = -3*b - 0 - 3. Is s smaller than d?
False
Let y be (-6)/(-312)*7/((-441)/198). Which is bigger: y or 1?
1
Suppose -4*x + 0*y = y - 340, -y - 255 = -3*x. Let n(i) = i**3 - 23*i**2 + 93*i - 29. Let c be n(6). Let t = x + c. Is 0.07 <= t?
True
Let f = -6554 + 6863. Which is greater: 1541/5 or f?
f
Let m = 10141 - 10141.4. Is 8 <= m?
False
Suppose 2*i = 2*h + 14266, h = -156 + 151. Which is bigger: 0 or i?
i
Suppose -529*s + 532*s = -4*f - 12333, -2*f - 20541 = 5*s. Which is bigger: -4106 or s?
-4106
Let y(b) = 11*b + 192. Let a be y(-15). Let o be (1509/a*3)/(-1). Which is smaller: -169 or o?
-169
Let n(i) be the second derivative of -1/6*i**3 + 0 - 12*i - i**2. Let r be n(-1). Which is smaller: 3/26 or r?
r
Let r = 0.023 - -27.977. Let y = 755 + -783. Let p = y + r. Is 2 bigger than p?
True
Let o = -14 + 15. Let m = -521/539 - -34/49. Is o greater than m?
True
Let f(r) = 56*r + 107. Le