Let f be t(-6). Let r be 5/((-15)/(-27)) - f. Suppose u - 28 = -r*q, 0 = -u + 1 - 5. Is q < 5?
False
Let z = -3829 + 3736. Is z bigger than -1/5?
False
Let k be (-21)/35 - (15/(-9450))/(514/194252). Is -1 at most k?
True
Let b = 13128 - 13167. Which is bigger: b or 5?
5
Let k = 536 - 820. Let w = -285 - k. Which is smaller: 1/32 or w?
w
Let v = -95 + 183. Let h = v + -87. Which is bigger: -122 or h?
h
Let s = -0.8546 + -0.1454. Is s >= -28/387?
False
Let m = -44 + 108. Let s(o) = o**3 - 8*o**2 + 26*o - 4. Let k be s(5). Let w = k - m. Which is smaller: w or -12?
w
Let n = 349 + -393. Let d be 22/n + (-26)/(-57). Which is smaller: d or -1?
-1
Suppose 68*m - 386 = -114. Let y be 3/(m/256*36). Which is greater: -0.1 or y?
y
Suppose 0 = 4*k + 5*o - 4, 36*k = 31*k - 4*o + 5. Let c be ((-1)/(-3))/(1/3). Let v = k + c. Is -16 less than v?
True
Let d = -5847 + 5847.3. Which is greater: d or -692?
d
Suppose 6020 = 8996*n - 8992*n. Which is smaller: 1503 or n?
1503
Let v = -170 + 252. Let y = v + -61. Which is greater: y or 23?
23
Let p(h) = 3*h + 231 + 18*h**2 - 460 - 5*h**2 + 227. Let w be p(1). Let z(r) = -r**2 + r + 1. Let c be z(0). Do c and w have the same value?
False
Let s = -7/2523 - 17567/2523. Does s = -7?
False
Let k(f) = -5*f - 8. Let u be k(4). Let o = u - -33. Suppose 23 = o*i + 3. Is i less than 1?
False
Let l = -65 + 70. Suppose -6 = l*w + 4, d = -3*w - 6. Let i be (-4)/(-10) + (-388)/960. Which is bigger: i or d?
d
Let y = 11233 + -2094. Is y bigger than 9137?
True
Let o(a) = -65*a**3 - 2*a**2 + 2*a - 2. Let r be o(2). Let w = -563 - r. Is -0.1 greater than w?
True
Suppose -5*x = -4 - 6. Suppose 4*g - 6 = x*y, 0 = 4*g - 8*g + y + 5. Which is smaller: g or -7/30?
-7/30
Suppose 3078 + 3006 = 33*z + 1662. Do 163 and z have the same value?
False
Let d = 4730.3 + -4730. Do d and 167 have different values?
True
Suppose 2*f - 4 = 0, -z + f - 4 = z. Let t be 108/(-33)*(-2)/(-3). Which is smaller: t or z?
t
Let q = -23 - 20. Suppose -r - 11 = -16. Suppose -3*v - 220 = r*s, 5*s - 2*v + 220 = 3*v. Which is smaller: s or q?
s
Let g be (1 + -1)/(-5 + 3). Let h = g - -1. Let u be (1550/(-2883))/50*3*1. Is u bigger than h?
False
Let u = 35 - 38. Let r be -3 - ((-6172)/24 - u). Let q = r - 252. Which is greater: -2 or q?
q
Let p = 6 + 2. Suppose 3*m - p*m = -15. Suppose -m*y + 74 = -y + 2*n, -142 = -4*y + 2*n. Is y greater than 34?
True
Let i = 34988.08 - 34988. Is 1235 at most as big as i?
False
Let h be 10/(-25) + (-2454)/(-10). Let i = h + -258. Which is smaller: i or -2?
i
Let k be 3/((-504)/26) + 62/(-248). Let c(z) = -z**3 + 5*z**2 - 2*z + 10. Let a be c(5). Which is bigger: a or k?
a
Let q be ((-8)/10)/(3/630). Let p = -169 - q. Are p and 6/37 nonequal?
True
Let n be ((-464)/1160)/((-1462)/(-5)). Let d(a) = -a**3 + 6*a**2 - 4*a - 5. Let x be d(5). Is n > x?
False
Let l = 91.7 - 43.7. Let p = 1193.7 + -1140. Let g = l - p. Is g not equal to -0.2?
True
Suppose -5 = -a - g + 190, -4*a + 783 = 5*g. Is 193 at most a?
False
Let b be 2 - (-131346)/(-27) - 1*-4. Which is smaller: b or -4858?
b
Let d be (4656/3880)/((-1)/4 - (-1)/(-20)). Which is bigger: d or -15?
d
Let n be (21/(-438))/((-10)/20). Let v = -184/365 - n. Which is bigger: v or -12?
v
Let k(s) = -6*s**2 - 194*s - 2259. Let y be k(-14). Which is greater: y or -2153/3?
-2153/3
Let v = 13.3 - 0.3. Let f = v + -12.84. Let o = f + 0.84. Which is smaller: o or 14?
o
Let k(a) = a**2 - 74*a + 1433. Let c be k(35). Is c greater than or equal to 42?
True
Let x be (28/(-10))/((-3)/60*4). Suppose -12*v = -x*v - 110. Let n = -54 - v. Which is smaller: n or 1/83?
1/83
Let j = 11656 + -11656. Let z = -1 + 0. Let n be z/(-2) + (-149)/306. Is n at least as big as j?
True
Let o(y) = y**3 - 5*y**2 - 3*y - 15. Let b be o(6). Suppose -4*q = -0*u + b*u + 4, -3 = 3*q. Which is greater: 2/57 or u?
2/57
Let i(f) = -f**3 - 3*f**2 - f + 1. Let n be i(-2). Let t be (-267)/1780*(12 - 44316/3699). Is n equal to t?
False
Let f(s) = s**3 + 3*s**2 - 4*s - 1. Suppose -5*b - 5*v - 20 = 0, -13 = 2*b - 2*v - 5. Let y be f(b). Let n = -1058/319 - -83/29. Which is smaller: y or n?
y
Let f = -681033 + 3364561/5. Which is bigger: f or -8120?
-8120
Let o(h) = -118*h + 2209. Let z be o(53). Is z != -4046?
True
Let p(g) = -2*g**2 + 32. Suppose -7*f + 4*f = 0. Let x be p(f). Suppose x*i = 29*i + 6. Which is smaller: 1/2 or i?
1/2
Let u = 5311 - 5190. Which is greater: -3/25 or u?
u
Suppose 726 = 23*h - h. Let t be h/(-4)*3/36. Is -2 greater than or equal to t?
False
Let h be -7419*(246/(-36) + 7). Let f = h - -1195. Which is smaller: -42 or f?
-42
Let g(d) = -d**3 + 3*d**2 + d + 10. Let m be g(-3). Let v = -59 + m. Suppose 3*l - 3*z = -v*l - 115, z = 0. Which is smaller: -24 or l?
-24
Let g = 374 - 166. Let x = 158 - g. Which is greater: -49 or x?
-49
Let z = -43954799898/42301 - -1039096. Which is bigger: z or 0?
0
Let h be (-2 - (-14)/4)*40/12. Suppose 2*t = h*t - 9. Suppose 2*q = -k + 39, t*k - 101 = -q - q. Which is bigger: k or -0.1?
k
Let r = -765 + 3087/4. Let n(o) = -o**3 - 9*o**2 - 17*o + 12. Let x be n(-6). Which is smaller: x or r?
x
Suppose -4*i = -0*i - 8. Suppose -1 = -3*f - 4*d, -4*d + i*d - 3 = f. Suppose 13 = -4*h + 1, 5*z + 4*h = -22. Which is greater: z or f?
f
Suppose -78*o + 48 = -82*o - 2*p, -3*p + 9 = -3*o. Suppose 4*u - 4*b + 26 = -218, -2*b = -5*u - 293. Let r = u + 169/3. Is o less than or equal to r?
True
Suppose 3*c - 13 = -5*j + 4, 0 = c + 1. Suppose 2*p - 13 = 3*r, -8*r = -j*r + 4*p - 16. Which is smaller: r or -6/217?
r
Let r be (9 - 10)*2325/1. Let o be (3/5 - 1)*r/(-135). Which is bigger: -6 or o?
-6
Let g(k) = -243*k + 4103. Let f be g(17). Is -693/26 at most f?
False
Let k be 48/504 - (-1 - 3734/42). Are 85 and k unequal?
True
Let v be (4/(-5))/(1/123). Let d be 3*(640/(-24) + -6). Let f = d - v. Which is bigger: -1/9 or f?
f
Let c = -43 + 52. Suppose 9 = c*g - 9. Is g equal to 1/4?
False
Let j be ((-28)/126 + 91/45)/((-14)/210). Is 29 at most j?
False
Let j be 200/(-210)*(-2)/(4/3). Let z = -38 - -43. Let h be z*1/5*1. Do j and h have the same value?
False
Let s = 657.21 + -657. Let t = s - 0.31. Which is smaller: t or 1/29?
t
Let y(b) = b**2 - 5*b + 4. Let o(p) = p**2 - 4*p + 4. Let q(j) = 5*o(j) - 4*y(j). Let w be q(0). Suppose 25 = 5*l, w*m - 50 + 9 = -5*l. Which is bigger: 6 or m?
6
Suppose 131 = -24*u - 104 + 91. Which is greater: 485 or u?
485
Suppose -80*x - 241098 - 17942 = 0. Is x less than -3238?
False
Suppose 9*i + 13874 = 3380. Which is smaller: i or 6?
i
Let o be ((-2)/5 - 2444/240) + (-2394)/(-7182). Let y = 1 + 4. Suppose -y*n - 75 = 4*u, 4*u + 37 = -2*n + u. Which is smaller: n or o?
n
Let b(t) = -9*t**2 - 957*t - 319. Let o be b(-106). Which is smaller: o or 13/71?
o
Suppose -4*d + 26077 = -82343. Let i = d - 298385/11. Is -20 less than i?
False
Let b = 3273 + -3146. Is b greater than or equal to 898/7?
False
Suppose -5*k - 5850 = 4*n, k - 90*n + 92*n + 1164 = 0. Which is smaller: -1175 or k?
-1175
Let l be 422/60 + ((-68)/12 - -5). Which is smaller: l or 6?
6
Let x(k) = -k**3 + 11*k**2 + 32*k - 36. Let y be x(13). Let r be (784/y)/(2/3). Which is smaller: r or 111/4?
111/4
Let m = 5 + -5.2. Let k = m + 0.1. Let f = 994 - 44732/45. Which is smaller: f or k?
k
Let q = 373 - 373. Suppose q = -580*w + 579*w + 38. Is w less than 39?
True
Suppose l = -2*l. Let n = -895 - -960. Let s be ((-13)/n)/(-2 + 6/2). Is l smaller than s?
False
Suppose j + 3*p = -2*p - 5, 0 = 3*p + 3. Let r be 62/465*(-1495)/221. Is r >= j?
False
Suppose -880*b = -889*b - 5139. Does -573 = b?
False
Let w = -3985 - -3848. Which is greater: w or -12?
-12
Let w = 46 + -42. Suppose 0 = w*i - 3*j + 24, -2*i + j = -i + 7. Which is greater: -1 or i?
-1
Suppose 5*c = -3*g - 16, 169 = 4*c - g + 158. Is c smaller than -25/87?
False
Suppose 4*t - 3 + 19 = -2*n, -5*t - 5*n = 15. Let b(k) = 3*k + 30. Let m be b(-15). Let r be 3 - 12*(-5)/m. Which is smaller: r or t?
t
Suppose -10789*j = -10813*j + 528. Which is bigger: j or 41/2?
j
Let g = 8.8 + 0.2. Let r = -0.3023 + 0.0163. Let f = 0.586 + r. Is f not equal to g?
True
Let z be ((-9)/6)/((-1845)/(-8692)). Is z at most -7?
True
Let r = -194 - -194.14. Let j = r + -0.04. Is -2/9 greater than or equal to j?
False
Suppose -10*o + 68 = -43 + 41. Is o smaller than 133/16?
True